41. New trends in aggregation theory /

پدیدآورنده:

کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبان‌های اروپایی (قم)

موضوع: Aggregation operators, Congresses.,Mathematical statistics, Congresses.,Soft computing, Congresses.,Aggregation operators.,Mathematical statistics.,MATHEMATICS-- Calculus.,MATHEMATICS-- Mathematical Analysis.,Soft computing.

رده :
QA329
.
I58
2019

42. Proceedings of the 1991 International Symopsium on Symbolic and Algebraic Computation July 15-17 1991 Bonn Germeny

پدیدآورنده:

کتابخانه: كتابخانه مركزی و مركز اسناد دانشگاه تهران (تهران)

موضوع: Mathematics-- Data processing -- Congresses,Algebra --Data processing -- Congresses

رده :
QA
76
.
95
.
I59
1991

43. Quantifier elimination and cylindrical algebraic decomposition

پدیدآورنده:

کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبان‌های اروپایی (قم)

موضوع: Algebra -- Data processing -- Congresses.,Algorithms -- Congresses.,Decomposition method -- Data processing -- Congresses.

44. Reality and measurement in algebraic quantum theory :

پدیدآورنده:

کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبان‌های اروپایی (قم)

موضوع: Quantum theory, Congresses.,Quantum theory.,SCIENCE-- Energy.,SCIENCE-- Mechanics-- General.,SCIENCE-- Physics-- General.

رده :
QC173
.
96

45. Relational and algebraic methods in computer science. 12th international conference, RAMICS 2011, Rotterdam, The Netherlands, May 30 - June 3, 2011. proceedings

پدیدآورنده:

کتابخانه: کتابخانه مرکز پژوهش متالورژی رازی (تهران)

موضوع: ، Software engineering,، Logic design,، Algebra -- Data processing,، Computer simulation,، Mathematical Logic and Formal Languages,، Symbolic and Algebraic Manipulation,، Logics and Meanings of Programs,، Simulation and Modeling,، Artificial Intelligence )incl. Robotics(,، Computer science -- Mathematics -- Congresses,، lgebraic logic -- Congresses,، Relation algebras -- Congresses,، RAMICS

رده :
QA
76
.
9
.
R36
2011

46. Symbolic and algebraic computation : International Symposium ISSAC'88, Rome, Italy, July 4-8, 1988 : Proceedings

پدیدآورنده:

کتابخانه: کتابخانه پژوهشگاه دانشهای بنیادی (تهران)

موضوع: Data processing -- Congresses ، Mathematics,Data processing -- Congresses ، Algebra

رده :
QA
76
.
L28
Vol
.
358

47. Symbolic and algebraic computation : International Symposium ISSAC '88, Rome, Italy, July 4-8, 1988 : proceedings

پدیدآورنده:

کتابخانه: كتابخانه پردیس علوم دانشگاه تهران (تهران)

موضوع: Congresses ، Mathematics -- Data processing,Data processing --Congresses ، Algebra

رده :
QA
76
.
95
.
I57
1988

48. Symbolic and algebraic computation: International Symposium ISSAC '88, Rome, Italy, July 4-8, 1988: proceedings

موضوع : Data processing Congresses ، Mathematics,Data processing Congresses ، Algebra

۲ نسخه از این کتاب در ۲ کتابخانه موجود است.

49. Symbolic and algebraic computation : International Symposium ISSAC '88, Rome, Italy, July 4-8, 1988 : proceedings

پدیدآورنده:

کتابخانه: كتابخانه مركزی دانشگاه بين المللی امام خمينی (ره) قزوين (قزوین)

موضوع: Mathematics - Data processing - Congresses,Algebra - Data processing - Congresses

رده :
QA
.
I57
76
.
95
1988

50. Symbolic computation, number theory, special functions, physics, and combinatorics

پدیدآورنده:

کتابخانه: کتابخانه پژوهشگاه دانشهای بنیادی (تهران)

موضوع: Congresses ، q-series,Data processing -- Congresses ، Algebra,Congresses ، Number theory,Congresses ، Functions, Special,Congresses ، Mathematical physics,Congresses ، Combinatorial analysis

رده :
QA
295
.
S97

51. Symbolic computation : solving equations in algebra, geometry, and engineering : proceedings of an AMS-IMS-SIAM Joint Summer Research Conference on Symbolic Computation : Solving Equations in Algebra, Geometry, and Engineering, Mount Holyoke College, South Hadley, MA, June 11-15, 2000

پدیدآورنده:

کتابخانه: کتابخانه پژوهشگاه دانشهای بنیادی (تهران)

موضوع: Data processing -- Congresses ، Algebra,Data processing -- Congresses ، Equations -- Numerical solutions

رده :
QA
155
.
7
.
E4A488
2000